Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Peter Freyd
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
Peter John Freyd (* 5. Februar 1936 in Evanston, Illinois)cite-ref-1[1] ist ein US-amerikanischer Mathematiker und Informatiker. Er war Professor an der University of Pennsylvania.

Contents

β€’ Leben
β€’ Kontroverse
β€’ Werke
β€’ Weblinks

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Leben

Freyd studierte an der Brown University (Bachelor 1958) und wurde 1960 an der Princeton University bei Norman Steenrod (Functor Theory)cite-ref-2[2] in Mathematik promoviert. 1960 bis 1962 war er Ritt Instructor an der Columbia University und danach zunΓ€chst Assistant Professor und ab 1968 Professor am Labor fΓΌr Logik und Informatik der University of Pennsylvania. Seit 1987 ist er Professor fΓΌr Informatik und seit 1993 Leiter des Labors fΓΌr Logik und Informatik an der University of Pennsylvania. Er war unter anderem Gastprofessor an den UniversitΓ€ten in Mailand, LΓΆwen, Cambridge, Sydney, Montreal, in Mexiko, der Carnegie Mellon University und der UniversitΓ€t Chicago.

Freyd befasst sich mit Kategorientheorie, Topos-Theorie, Beweistheorie, stabiler Homotopietheorie, Modelltheorie und Knotentheorie. Er bewies den Hauptsatz fΓΌr adjungierte Funktoren.cite-ref-3[3]


Er ist seit 1957 verheiratet und hat zwei TΓΆchter.

Kontroverse

Peter J. Freyd ist von seiner Tochter, der Psychologie-Professorin Jennifer Freyd, des sexuellen Missbrauchs beschuldigt worden. Er bestreitet die VorwΓΌrfe und hat als Reaktion darauf die False Memory Syndrome Foundation ins Leben gerufen.cite-ref-4[4]

Werke

β€’ Peter J. Freyd, Abelian Categories, an Introduction to the Theory of Functors. Harper & Row (1964). Available online.
β€’ Peter J. Freyd and Andre Scedrov: Categories, Allegories. North-Holland (1999). ISBN 0-444-70368-3.
β€’ Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes Theor. Comput. Sci. 29: (1999)
β€’ Peter J. Freyd, Peter W. O’Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228(1–2): 49–76 (1999)

Weblinks

β€’ Peter J. Freyd in der Datenbank zbMATH

Einzelnachweise

cite-note-11. ↑ Biografische Daten nach American Men and Women of Science, Thompson Gale 2005
cite-note-22. ↑ Mathematics Genealogy Project
cite-note-33. ↑ Saunders Mac Lane: Kategorien: Begriffsprache und mathematische Theorie. Springer, Berlin 1972, ISBN 978-3-540-05634-8, S. 145 (eingeschrΓ€nkte Vorschau in der Google-Buchsuche [abgerufen am 5. Januar 2017]).
cite-note-44. ↑ Bloomberg, Peter. "One family’s tragedy spawns national group", The Baltimore Sun, 12 Sept 1994